Software Synthesis via Domain-speciic Software Architectures University of Colorado at Boulder Software Synthesis via Domain-speciic Software Architectures

Current software engineering practice concentrates on improving the process by which a programmer develops a solution from the description of a problem; we describe a new paradigm for software synthesis based on Domain-Speciic Software Architectures (DSSAs) that eliminates this process entirely. A DSSA provides an overall software design that solves a whole class of problems in a broad area. It focuses the designer's attention on the unique requirements of the current problem, suppressing those that are common to all problems of the type addressed by that DSSA. To use the DSSA approach, a software engineer provides a description of the unique requirements of a particular problem. A solution to that problem is then generated according to the DSSAs overall design by a system that implements the DSSA. Problem descriptions are checked for consistency by the system, and the generated software is guaranteed to solve the problem described. We brieey describe how we have used the DSSA approach to build Eli, a system for compiler construction. Generalizing from Eli, we identify requirements that the implementation of any DSSA should satisfy: 1) incorporation of a manufacturing language to describe the incremental derivation of software objects with architecture-based error reporting, 2) incorporation of an authoring language to allow on-line access to documentation and system components, and 3) the ability to incorporate externally developed tools and export constructed programs.